1. A Beginners Guide to Python 3 Programming /
Author: by John Hunt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Database Management.,Programming Languages, Compilers, Interpreters.,Python.
Classification :
QA76
.
7-76
.
73
2. Advanced Guide to Python 3 Programming /
Author: by John Hunt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Database Management.,Programming Languages, Compilers, Interpreters.,Python.
Classification :
QA76
.
7-76
.
73
3. Advances in Design and Specification Languages for Embedded Systems
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Based Systems. ; Programming Languages, Compilers, Interpreters. ; C-Engineering. ; Software engineering. ; Computer network architectures. ; Computer science. ; Systems engineering. ; Engineering. ; Circuits and Systems. ; Special Purpose and Application
4. Algebraic foundations in computer science :
Author: edited by Werner Kuich, George Rahonis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.
Classification :
QA76
.
9
.
M35
A44
2011
5. An Analytical Description of CHILL, the CCITT High Level Language
Author: edited by Paul Branquart, Georges Louis, Pierre Wodon.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science,Computer science.,Programming Languages, Compilers, Interpreters
6. Android recipes :
Author: Dave Smith, Erik Hellman, authors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Development.,Mobile computing.,Computer Science.,Mobile Computing.,Programming Languages, Compilers, Interpreters.,Programming Techniques.
Classification :
QA76
.
76
.
A65
7. Automated technology for verification and analysis :
Author: Tevfik Bultan, Pao-Ann Hsiung (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
A88
2011
8. Based Design-Cyber Physical Systems. Model
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Based Systems; Computer System Implementation; Control Structures and Microprogramming; Programming Languages, Compilers, Interpreters-Computer Science; Information Systems Applications (incl.Internet); Special Purpose and Application
9. Beginning Haskell
Author: by Alejandro Serrano Mena.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.
10. Beginning PHP and MySQL
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science. ; Computer Science. ; Programming Languages, Compilers, Interpreters. ;
11. Beginning Ruby
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science. ; Computer Science. ; Programming Languages, Compilers, Interpreters. ;
12. CLU Reference Manual
Author: by Barbara Liskov, Russell Atkinson, Toby Bloom, Eliot Moss, J. Craig Schaffert, Robert Scheifler, Alan Snyder.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science,Computer science.,Programming Languages, Compilers, Interpreters
13. Certified programs and proofs :
Author: Jean-Pierre Jouannaud, Zhong Shao (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
C37
2011eb
14. Computational Logic in Multi-Agent Systems
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer Science,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,علوم کامپیوتر
Classification :
E-Book
,
15. Computational artifacts :
Author: Raymond Turner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Philosophy.,Computer science-- Philosophy.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
Classification :
QA76
.
167
16. Conceptual modeling--ER 2011 :
Author: Manfred A. Jeusfeld, Lois Delcambre, Tok Wang Ling (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses,Conceptual structures (Information theory)-- Congresses,Database design, Congresses,Relational databases-- Congresses
Classification :
QA76
.
9
.
C65
I58
2011
17. Formal methods and software engineering :
Author: Shengchao Qin, Zongyan Qiu (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses,Software engineering, Congresses,Formal methods (Computer science)-- Congresses,Software engineering-- Congresses
Classification :
QA76
.
9
.
F67
I34
2011
18. Formal methods for industrial critical systems :
Author: Falk Howar, Jiří Barnat (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
Classification :
QA76
.
9
.
F67
I58
2018eb
19. Formal methods, foundations and applications :
Author: Adenilso Simao, Carroll Morgan (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses
Classification :
QA76
.
9
.
F67
B73
2011
20. Formal modeling :
Author: Gul Agha, Olivier Danvy, José Meseguer. (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification,Formal methods (Computer science),Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
Classification :
QA76
.
9
.
F67
F67
2011
